<?php echo $html_text; ?>